Nuprl Definition : kcomb
13,42
postcript
pdf
K(
x
,
y
) ==
x
latex
Up
core
2
,
core
2
Wellformedness Lemmas
kcomb
wf
,
kcomb
wf
Definitions
x
.
A
(
x
)
FDL editor aliases
kcomb
origin
x.A(x)x.A(x)